Avant-propos : think tanks, experts et pouvoirs

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

Normes, Pouvoirs et Rôles: vers une formalisation en logique

RÉSUMÉ. Pour définir l’organisation de systèmes multiagents, la notion de rôle a une importance capitale. Nous analysons cette notion de façon informelle, en nous appuyant sur des exemples. Puis nous en proposons une définition plus formelle qui se décompose en : conditions pour être titulaire d’un rôle, normes et pouvoirs de modifier des faits normatifs qui s’appliquent au titulaire d’un rôle....

Intrapreneurial Culture through Think Tanks in Higher Education Institutions

To bridge the gap between invention and innovation, prenovation has to be focused. One of the elements of prenovation is emphasizing and creating policies for institutions. This research paper highlights the importance of having an intrapreneurial culture in higher education institutions. The purpose of this paper is to review literature related to intrapreneurial culture and find out the posit...

Meeting report: NCI think tanks in cancer biology.

Over the past year and a half, the Division of Cancer Biology of NCI has been assessing the state of cancer biology, with the goal of developing a research agenda for the near future that would accelerate progress in cancer research. Our goal was to identify emerging concepts and promising opportunities for investigation across nine scientific areas with unusual promise for rapid progress. A se...